- частичная формализация
- partial formalization
Русско-английский словарь по электронике. 2009.
Русско-английский словарь по электронике. 2009.
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
ЕСТЕСТВЕННАЯ ТЕОЛОГИЯ — [лат. theologia naturalis], термин, очерчивающий особую область философско богословских размышлений и исследований, общей характерной чертой к рых является признание в качестве отправного факта того, что всякий человек естественным образом… … Православная энциклопедия